From 52c4421bd3c798eb65c12a41449bb2bee2ea2f71 Mon Sep 17 00:00:00 2001 From: Jaime Velasco Juan Date: Mon, 17 Oct 2016 14:33:47 +0100 Subject: [PATCH] win32 theme: Fix tooltip borders https://bugzilla.gnome.org/show_bug.cgi?id=773221 --- gtk/theme/win32/gtk.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gtk/theme/win32/gtk.css b/gtk/theme/win32/gtk.css index b9384b7699..218875e589 100644 --- a/gtk/theme/win32/gtk.css +++ b/gtk/theme/win32/gtk.css @@ -124,8 +124,8 @@ decoration { background-repeat: no-repeat; } -/* Unset above settings when the window is a popup menu */ -* window decoration { +/* Unset above settings when the window is a popup menu or tooltip */ +* window decoration, tooltip decoration { all: unset; } -- 2.30.2